On Computational Speed-Up
نویسندگان
چکیده
Let J? be any effective mapping from total functions on the integers to total functions. Composition and iterated composition are examples of such mappings. The "operator speed-up theorem in this paper establishes the existence of a computable function f such that for any program computing f(x) in Pj(x) steps for all x, there is another program computing f(x) in p 0(x) steps and F(p 0) < palmost everywhere. Thus,
منابع مشابه
Efficient elliptic curve cryptosystems
Elliptic curve cryptosystems (ECC) are new generations of public key cryptosystems that have a smaller key size for the same level of security. The exponentiation on elliptic curve is the most important operation in ECC, so when the ECC is put into practice, the major problem is how to enhance the speed of the exponentiation. It is thus of great interest to develop algorithms for exponentiation...
متن کاملInvestigation of stepped planning hull hydrodynamics using computational fluid dynamics and response surface method
The use of step at the bottom of the hull is one of the effective factors in reducing the resistance and increasing the stability of the Planning hull. The presence of step at the bottom of this type of hulls creates a separation in the flow, which reduces the wet surface on the hull, thus reducing the drag on the body, as well as reducing the dynamic trim. In this study, a design space was cre...
متن کاملFast Reconstruction of SAR Images with Phase Error Using Sparse Representation
In the past years, a number of algorithms have been introduced for synthesis aperture radar (SAR) imaging. However, they all suffer from the same problem: The data size to process is considerably large. In recent years, compressive sensing and sparse representation of the signal in SAR has gained a significant research interest. This method offers the advantage of reducing the sampling rate, bu...
متن کاملComputationally Efficient Long Horizon Model Predictive Direct Current Control of DFIG Wind Turbines
Model predictive control (MPC) based methods are gaining more and more attention in power converters and electrical drives. Nevertheless, high computational burden of MPC is an obstacle for its application, especially when the prediction horizon increases extends. At the same time, increasing the prediction horizon leads to a superior response. In this paper, a long horizon MPC is proposed to c...
متن کاملSpeed Up, Slow Down or Both? Investigating the Contemporary Cities
Speed as a crucial phenomenon of modernism affects individual and collective life of human being and changes the traits of the places people live in. Increasing speed is the demand of the modern era, though on the other side in recent years there is a contrary incline towards slowing down different aspects of life. In view of this, the dualities in between social features of Speed up and slow d...
متن کاملEffect of Direct Injection Diesel Engine Convert to Sequential Injection CNG Engine in Intake Port Gas Flow Pressure Profile
The one dimension computational model of a sequential injection engine, which runs on compressed natural gas (CNG) with spark ignition, is developed for this study, to simulate the performance of gas flow pressure profile, under various speed conditions. The computational model is used to simulate and study of the steady state and transient processes of the intake manifold. The sequential injec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1968